Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
71	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
72	Using Iterated Reasoning to Predict Opponent Strategies Michael Wunder Michael Kaisers Rutgers University Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:04:26 Science Dynamic programming Markov processes Stochastic control Control theory Partially observable Markov decision process Automated planning and scheduling Multi-agent system Markov decision process Game theory Statistics Artificial intelligence
73	Modular Reasoning about Aliasing using Permissions John Boyland University of WisconsinMilwaukee FOAL 2015 Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2015-03-17 14:13:23 Rm Write System software Access control Computing Filesystem permissions Computer security
74	Microsoft PowerPoint - knowledge_augumeted_learningV2 [Compatibility Mode] Add to Reading List Source URL: www.frontiersincomputervision.com Language: English - Date: 2011-09-12 00:39:52 Knowledge representation and reasoning Machine learning Knowledge Science Cognition Facial expressions Encodings Facial Action Coding System
75	Knowledge Objects and Mental-Models M. David Merrill Utah State University Add to Reading List Source URL: www.reusability.org Language: English - Date: 2004-04-13 13:47:15 Educational technology Concepts Communication design Instructional design Knowledge representation and reasoning Instructional simulation Conceptual model System Schema Education Educational psychology Pedagogy
76	Designing effective questions for classroom response system teaching Ian D. Beatty,a兲 William J. Gerace, William J. Leonard, and Robert J. Dufresne Scientific Reasoning Research Institute and Department of Physics, Uni Add to Reading List Source URL: www.srri.umass.edu Language: English - Date: 2011-10-28 12:03:56 Philosophy of education Grammar Human communication Question Peer instruction Audience response Active learning Metacognition SAT Education Educational psychology Educational technology
77	Random Number Generator Certificate Operator: NeoPoint Technologies This is to certify that iTech Labs has evaluated the Random Number Generator (RNG) used for fixed odds games in NeoPoint’s gaming system, and found t Add to Reading List Source URL: download.gamesrv1.com Language: English - Date: 2013-04-17 08:00:31 Mathematics Pseudo-ring Inductive reasoning Probability and statistics Randomness Statistical randomness Random number generation
78	Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning Florian Pommerening, Stefan W¨ olﬂ, and Matthias Westphal Department of Computer Science, University of Freiburg, Georges-K¨ Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-22 08:12:25 Science Spatial–temporal reasoning Situation calculus Scenario Qualitative reasoning Reason Dynamical system Economic model Reasoning Cognition Mind
79	Technical Paper Mapping Quantity and Quality: A Foundation for Hybrid Data Modeling in Design Document No. PDI-TP-0007-GTC001 Add to Reading List Source URL: www.protodesign-inc.com Language: English - Date: 2010-09-24 00:57:33 Confidence interval Economic model Level of measurement Dynamical system Grade Qualitative reasoning Uncertainty Variable and attribute Statistics Measurement Qualitative data
80	A semantic model of computation for natural system modelling Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 19:01:36 Semantic Web Information science Data Technical communication Knowledge representation Web Ontology Language Description logic Workflow Knowledge representation and reasoning Information Ontology Science

UPDATE